`:top

In der `F33f`_`[Gruppentheorie`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Gruppentheorie]`_`f wird eine `F33f`_`[Untergruppe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Untergruppe]`_`f S {\\displaystyle S} einer `F33f`_`[Gruppe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Gruppe_(Mathematik)]`_`f G {\\displaystyle G} als `!Subnormalteiler`! (oder `!subnormale Untergruppe`!) bezeichnet, falls eine `F33f`_`[Subnormalreihe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Reihe_(Gruppentheorie)]`_`f von G {\\displaystyle G} nach S {\\displaystyle S} existiert, das heißt, falls es eine endliche Kette S = S 0 {\\displaystyle S=S_{0}} ≤ … ≤ S k = G {\\displaystyle S_{k}=G} von Untergruppen von G {\\displaystyle G} gibt, so dass jeweils S i {\\displaystyle S_{i}} `F33f`_`[Normalteiler`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Normalteiler]`_`f von S i + 1 {\\displaystyle S_{i+1}} ist.

Subnormalteiler wurden – noch unter der Bezeichnung `*nachinvariante Untergruppe`* – erstmals von `F33f`_`[Helmut Wielandt`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Helmut_Wielandt]`_`f in seiner 1939 erschienenen Habilitationsschrift `*Eine Verallgemeinerung der invarianten Untergruppen`* betrachtet. Wielandt konnte unter anderem zeigen, dass in `F33f`_`[endlichen Gruppen`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Endliche_Gruppe]`_`f das Erzeugnis zweier Subnormalteiler stets wieder subnormal ist, die Subnormalteiler also einen `F33f`_`[Verband`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Verband_(Mathematik)]`_`f bilden.

Der Begriff des Subnormalteilers ist insofern eine Verallgemeinerung des Begriffs des Normalteilers, als ein Subnormalteiler nicht unbedingt normal in der ganzen Gruppe sein muss. Jeder Normalteiler ist aber stets ein Subnormalteiler.

>>Contents

• `F0af`_`[Beispiel`#beispiel]`_`f

• `F0af`_`[Literatur`#literatur]`_`f

-─

>>Beispiel

Die von einer Spiegelung erzeugte Untergruppe Z = { e , ( 12 ) ( 34 ) } {\\displaystyle Z=\\{e,(12)(34)\\}} der `F33f`_`[symmetrischen Gruppe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Symmetrische_Gruppe]`_`f S 4 {\\displaystyle S_{4}} ist ein Normalteiler der `F33f`_`[Kleinschen Vierergruppe`:/page/entry.mu`zim=wikipedia_de_all_nopic_2026-01.zim|entry_path=Kleinsche_Vierergruppe]`_`f V {\\displaystyle V} , welche wiederum normal in S 4 {\\displaystyle S_{4}} liegt. Z {\\displaystyle Z} ist also Subnormalteiler von S 4 {\\displaystyle S_{4}} , allerdings kein Normalteiler, da ( ( 12 ) ( 34 ) ) ( 123 ) = ( 13 ) ( 24 ) {\\displaystyle ((12)(34))^{(123)}=(13)(24)} nicht in Z {\\displaystyle Z} liegt.

>>Literatur

• Helmut Wielandt: `*Eine Verallgemeinerung der invarianten Untergruppen.`* In: Mathematische Zeitschrift `!45`! (1939), S. 209–244.

`c`F0af`_`[↑ Back to top`#top]`_`f`a